package checked

import (
	"kumachan/interpreter/compiler/checker/typsys"
	"kumachan/interpreter/lang/common/source"
)


type ProductPatternInfo ([] ProductPatternItemInfo)
type ProductPatternItemInfo struct {
	Binding  *LocalBinding  // nullable (arg in default branch and quick lambda)
	Index1   uint  // 0 = whole, 1 = .0
}

type LocalBinding struct {
	Name      string
	Type      typsys.Type
	Location  source.Location
}


